An Alternative to Real Number Axioms

Axioms for Real-Time Logics

This paper presents a complete axiomatization of fully decid-able propositional real-time linear temporal logics with past: the Event Clock Logic (ECL) and the Metric Interval Temporal Logic with past (MITL). The completeness proof consists of an eeective proof building procedure for ECL. From this result we obtain a complete axiomatization of MITL by providing axioms translating MITL formulae ...

Dedekind's Analysis of Number: Systems and Axioms

Structural-Functional Dynamism: An Alternative Approach to Spatial

Spatial planning approaches along with complication of societies are being changed. These changes and transformations have reflected themselves in increasing diversification of economic patterns, people, group, organization, and institution’s mobility. While in less developed network societies some of the concepts including “distance” and “movement “are relatively losing their importance , some...

Garlic: An Alternative to Antibiotics in Poultry Production, A Review

In last decade, the uncontrolled use of antibiotics as growth promoter for livestock has led to the appearance of antibiotic-resistant pathogens and increased risk of infectious diseases. This situation has triggered intensive research efforts to find safe alternative strategies. Certainly, the plants and vegetables and their derivatives as natural safe substances could be good candidates in th...

A Logical Alternative to Theexisting Positional Number

This article introduces an alternative positional number system. The advantages of this alternative system over the existing one are discussed, and an illustration of the use of the system to re-interpret apparent errors in ancient archaeological documents is presented.